Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·1h
📱Bytecode Design
Property-based testing of batch-invariant operations
mmaaz.ca·7h·
Discuss: Hacker News
🎲Property Testing
std::ranges may not deliver the performance that you expect
lemire.me·8h·
Discuss: Hacker News
🏃Escape Analysis
MIN PULSE WIDTH TIMING CHECK The Silent Timing Trap Lurking In Every Sub-5nm Design
semiwiki.com·12h
🔍Peephole Optimization
Highly concurrent in-memory counter in GoLang
engineering.grab.com·5h
🧠Memory Models
Beyond Von Neumann: Toward a unified deterministic architecture
venturebeat.com·1d
🤝Cooperative Threading
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·3h
🔒Rust Borrowing
Fun with HyperLogLog and SIMD
vaktibabat.github.io·1d·
Discuss: Hacker News, r/rust
🔢Bit Manipulation
Why We Need SIMD
parallelprogrammer.substack.com·2h·
Discuss: Substack
🔀SIMD Programming
Adaptive Toolpath Optimization via Multi-Objective Reinforcement Learning for Bur Tool Wear Prediction
dev.to·1d·
Discuss: DEV
🎭Program Synthesis
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·12h·
Discuss: r/programming
🧠Memory Models
I asked chatGPT a question and got this answer. Is this even correct?
reddit.com·1d·
Discuss: r/linux
🏷️Memory Tagging
Measuring Reorder Buffer Capacity
blog.stuffedcow.net·3d·
Discuss: Lobsters, Hacker News
📝Register Allocation
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·1h
🎲Parser Fuzzing
XiangShan Vector Floating-Point Unit Design
docs.xiangshan.cc·1d·
Discuss: Hacker News
🎯Bit Vectors
My custom two realtime concurrency primitives
blog.inkreas.ing·1d·
Discuss: r/rust
🔗Concurrency Primitives
Recurse Checkins
404wolf.com·4h
🔄Bootstrapping
Reflections on Designing a Search Autocomplete System
torontostudygroup.github.io·22h·
Discuss: DEV
🌿Trie Structures
Trying Out Arm's Scalable Matrix Extension with Apple M4 or QEMU
dev.to·1d·
Discuss: DEV
🔄Binary Translation
Delimited Continuations in Lone Lisp
matheusmoreira.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🔮Lisp Interpreters